
var empleado =  document.getElementsByName("empleadoautentificado").value;

/*var empleado = <%=empleadoautentificado%>;
<script language="javascript">
var una_variable_lado_cliente = <%=una_variable_lado_servidor%>
</script> */

function dispname (empleado) {
document.write(""+empleado+"");
}

document.write("<font size=3 color=red>Thanks for visiting, ");
dispname(empleado);
document.write("!</font>");